home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 11 / Info-Mac_XI_Disc_1.cdr_ / Info-Mac XI Disc 1.cdr / Programs / Science & Math / MacEspresso 1.0 / espresso / globals.c < prev    next >
Encoding:
C/C++ Source or Header  |  1989-02-26  |  2.5 KB  |  68 lines  |  [TEXT/R*ch]
  1. #include "espresso.h"
  2.  
  3. /*
  4.  *    Global Variable Declarations
  5.  */
  6.  
  7. unsigned int debug;              /* debug parameter */
  8. bool verbose_debug;              /* -v:  whether to print a lot */
  9. char *total_name[TIME_COUNT];    /* basic function names */
  10. long total_time[TIME_COUNT];     /* time spent in basic fcts */
  11. int total_calls[TIME_COUNT];     /* # calls to each fct */
  12.  
  13. bool echo_comments;         /* turned off by -eat option */
  14. bool echo_unknown_commands;     /* always true ?? */
  15. bool force_irredundant;          /* -nirr command line option */
  16. bool skip_make_sparse;
  17. bool kiss;                       /* -kiss command line option */
  18. bool pos;                        /* -pos command line option */
  19. bool print_solution;             /* -x command line option */
  20. bool recompute_onset;            /* -onset command line option */
  21. bool remove_essential;           /* -ness command line option */
  22. bool single_expand;              /* -fast command line option */
  23. bool summary;                    /* -s command line option */
  24. bool trace;                      /* -t command line option */
  25. bool unwrap_onset;               /* -nunwrap command line option */
  26. bool use_random_order;         /* -random command line option */
  27. bool use_super_gasp;         /* -strong command line option */
  28. char *filename;             /* filename PLA was read from */
  29.  
  30. struct pla_types_struct pla_types[] = {
  31.     "-f", F_type,
  32.     "-r", R_type,
  33.     "-d", D_type,
  34.     "-fd", FD_type,
  35.     "-fr", FR_type,
  36.     "-dr", DR_type,
  37.     "-fdr", FDR_type,
  38.     "-fc", F_type | CONSTRAINTS_type,
  39.     "-rc", R_type | CONSTRAINTS_type,
  40.     "-dc", D_type | CONSTRAINTS_type,
  41.     "-fdc", FD_type | CONSTRAINTS_type,
  42.     "-frc", FR_type | CONSTRAINTS_type,
  43.     "-drc", DR_type | CONSTRAINTS_type,
  44.     "-fdrc", FDR_type | CONSTRAINTS_type,
  45.     "-pleasure", PLEASURE_type,
  46.     "-eqn", EQNTOTT_type,
  47.     "-eqntott", EQNTOTT_type,
  48.     "-kiss", KISS_type,
  49.     "-cons", CONSTRAINTS_type,
  50.     "-scons", SYMBOLIC_CONSTRAINTS_type,
  51.     0, 0
  52. };
  53.  
  54.  
  55. struct cube_struct cube, temp_cube_save;
  56. struct cdata_struct cdata, temp_cdata_save;
  57.  
  58. int bit_count[256] = {
  59.   0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,
  60.   1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
  61.   1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
  62.   2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
  63.   1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
  64.   2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
  65.   2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
  66.   3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,4,5,5,6,5,6,6,7,5,6,6,7,6,7,7,8
  67. };
  68.